Fix Texinfo build failure by running `texinfo-all-menus-update'.
authorRobert J. Chassell <bob@rattlesnake.com>
Sat, 28 Sep 2002 19:38:45 +0000 (19:38 +0000)
committerRobert J. Chassell <bob@rattlesnake.com>
Sat, 28 Sep 2002 19:38:45 +0000 (19:38 +0000)
commit1727ed78b08cc1d256dfbb2f6e4d47517bbf2909
treebaef7224e71b94271bdf13e43942628112af7a24
parent60ebaeaef1d61c8e9ee91724e546785fc46e233e
Fix Texinfo build failure by running `texinfo-all-menus-update'.
man/ses.texi